Famille totale \((v_n)_{n\in{\Bbb N}}\)
Tout élément de \(H\) peut être exprimé comme une limite de combinaisons linéaires d'éléments de \((v_n)_n\) $$\overline{\operatorname{Vect}(v_0, v_1,\dots)}=\mathcal H$$
- caractérisations :
- \(\bigcap_{n\in{\Bbb N}}v_n^\perp=\{0\}\)
Espace de Hilbert
2
